<?php

infercast_string_param(43);
